теорія типів

ТЕОРІЯ ТИПІВ - спосіб побудови логічного числення з кількома видами термів (констант і змінних), яким відповідають типи сутностей ієрархізованого логічного універсуму (напр., індивіди, властивості, властивості властивостей і т. ін.). Т.т. була запропонована Расселом і Вайтгедом у книзі "Principia mathematica" (1910 - 1913) як засіб усунення можливості доведення парадоксів у теорії множин. Так, у Т. т. неможливо навіть сформулювати твердження про суперечливу множину, яка містить саму себе у якості елемента, тому що елемент і множина належать до різних типів.
А.Іиімуратов

Філософський енциклопедичний словник / НАН України, Ін-т філософії ім. - К. : Абрис (Бібліотека Державного фонду фундаментальних досліджень). . 2002.

Смотреть что такое "теорія типів" в других словарях:

  • синтетична теорія еволюції — (СТЕ) цілісна система поглядів на субстрат, причини, рушійні сили, закономірності та наслідки еволюційного процесу, сучасний дарвінізм. Сформувалась переважно в ЗО 40 х рр. XX ст. завдяки дослідженням Вавілова, Гаузе, Тимофеєва Ресовського… …   Філософський енциклопедичний словник

  • ознака — особливість предмета або явища, яка визначає подібність свого носія до інших об єктів пізнання або відмінність від них; те саме, що і властивість. Сукупність О. (яка може зводитися і до єдиної О.) дозволяє відрізнити предмет (явище) від інших… …   Філософський енциклопедичний словник

  • слов'янофільство — напрям філософії і суспільної думки в країнах слов янського регіону у XIX XX ст. Ідейними предтечами його були: хорватський письменник Крижанич, чеський вчений Гайка, словацькі Шафарик і Коллар та ін О. собливо активно теоретичне С. розвивалося в …   Філософський енциклопедичний словник

  • далекодії та близькодії концепції — ДАЛЕКОДІЇ та БЛИЗЬКОДІЇ (короткодії) КОНЦЕПЦІЇ протилежні уявлення про характер взаємодії (взаємного впливу) тіл або часток, що веде до зміни стану їх руху. В науці історично першою усталилася концепція далекодії або уявлення про те, що взаємодія …   Філософський енциклопедичний словник

  • істина — I ІСТИНА 1) Філософська категорія, разом з категоріями добра, краси і свободи відбиває глибинний смисл людського світовідношення та осягнення буття, шукань людського духу та творення гуманістичних ідеалів; виражає сутнісний зміст та безпосередню… …   Філософський енциклопедичний словник

  • Тимофеенко, Владимир Иванович — Владимир Иванович Тимофеенко Основные сведения Гражданство СССР, Украина Дата рождения 5 февраля 1941(1941 02 05) Мест …   Википедия

  • філософія — (від грецьк. φιλοσοφία любов до мудрості) особливий різновид духовної культури, призначення якого полягає в осмисленні основ природного і соціального світу, формоутворень культури і пізнання, людини та її сутності. Наслідком цього осмислення є… …   Філософський енциклопедичний словник

Книги

Другие книги по запросу «теорія типів» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.